Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
91	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
92	Microsoft Word - klippelXXXXegenhofer-cohn.doc Add to Reading List Source URL: www.cognitivegiscience.psu.edu Language: English - Date: 2012-02-04 19:56:52 Knowledge representation Reasoning Cognition Cognitive science Academia Logic Computational topology Constraint programming Region connection calculus Spatialtemporal reasoning General topology Topology
93	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
94	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Theoretical computer science Logic in computer science Formal methods Constraint programming Electronic design automation Satisfiability modulo theories Separation logic Mathematical logic Logic programming Logic
95	A Computational Space for the Web of Things Simon Mayer David S. Karam Inst. for Pervasive Computing Add to Reading List Source URL: www.vs.inf.ethz.ch Language: English - Date: 2012-06-04 05:34:23 Engineering Theoretical computer science Academia Algorithm Mathematical logic Computing Computational science Google Apps Marketplace Computer science
96	Computational Intelligence, Volume 000, Number 000, 0000 Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Tim Miller Department of Computer Science and Software Engineering, Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-07-24 21:25:12
97	M K Published Articles: [A 1] M. K.: On the Logic of Category Definitions. Computational Linguistics – Pages) RESEARCH ARTICLE [A 2] M. K.: An Almost General Splittin Add to Reading List Source URL: wwwhomes.uni-bielefeld.de Language: English - Date: 2008-08-21 08:39:20
98	The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-09-07 05:28:01 Computability theory Theory of computation Mathematical logic EACSL Entscheidungsproblem Complexity Computational complexity theory Algorithm Decision problem Dexter Kozen
99	Computational Law Nathaniel Love Michael Genesereth Stanford University Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2006-03-21 18:53:45 Artificial intelligence Cognition Reasoning Cognitive science Expert systems Rule engines Computer law Computational law Reasoning system Knowledge representation and reasoning Artificial intelligence and law Frame language
100	An Algebra for Semantic Construction in Constraint-based Grammars Ann Copestake Computer Laboratory University of Cambridge New Museums Site Pembroke St, Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English Semantics Computational linguistics Generative linguistics Type theory Logic in computer science Head-driven phrase structure grammar Minimal recursion semantics Valency Dependency grammar Categorial grammar Structure Syntax

UPDATE